Wyniki
-
The conference on the scientific achivement of Mordchaj Wajsberg
Stanisław J. Surma
Bulletin of the Section of Logic , 2 /2 (1973) s. 87-89 -
Mordchaj Wajsberg : life and works
Stanisław J. Surma
Bulletin of the Section of Logic , 2 /2 (1973) s. 91-94 -
A method of the constructions of characterization of Lukasiewiczian logics
Stanisław J. Surma
Bulletin of the Section of Logic , 2 /2 (1973) s. 139-142 -
The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wright
Stanisław J. Surma
Bulletin of the Section of Logic , 1 /1 (1972) s. 45-52 -
The representation theorem for the algebras determined by the fragments of infinite-valued logic of Lukasiewicz
Barbara Woźniakowska
Bulletin of the Section of Logic , 7 /4 (1978) s. 176-178 -
Algebraic proof of the separation theorem for the infinite-valued logic of Lukasiewicz
Barbara Woźniakowska
Bulletin of the Section of Logic , 6 /4 (1977) s. 186-189 -
Topos based semantics for constructive logic with strong negation
Barbara Klunder
Bulletin of the Section of Logic , 19 /4 (1990) s. 133-138 -
On Jaskowski-type semantics for the intuitionistic propositional logic
Stanisław J. Surma, Andrzej Wroński, Stanisław Zachorowski
Bulletin of the Section of Logic , 3 /2 (1974) s. 6-9 -
On congruence lattices of commutative BCK-algebras
Marek Pałasiński, Barbara Woźniakowska
Bulletin of the Section of Logic , 8 /4 (1979) s. 188-190 -
Finitely generated ideals in directed commutative BCK-algebras
Marek Pałasiński, Barbara Woźniakowska
Bulletin of the Section of Logic , 9 /4 (1980) s. 166-169 -
An equational basis for commutative BCK-algebras
Marek Pałasiński, Barbara Woźniakowska
Bulletin of the Section of Logic , 10 /3 (1981) s. 108-112